Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
911	Analog and Mixed Signal Circuits On Digital CMOS Processes Jerry Twomey, Member IEEE Abstract - CMOS processes that have been developed primarily for logic are now increasingly used for analog and mixed signal applicatio Add to Reading List Source URL: ece.wpi.edu Language: English - Date: 2002-06-11 14:10:01 Electronic design Integrated circuits Electronic circuits Comparator Operational amplifier Substrate coupling Integrated circuit design CMOS Capacitive coupling Electronic engineering Electronics Electromagnetism
912	AI APPROACH TO HAND WRITTEN DEVNAGIRI SCRIPT RECOGNITION by Dileep Kumar, Dept. of EE, IIT Delhi ABSTRACT [n this paper, a system for recognizing hand written Indian Devnagiri script has been proposed. This system uses a Add to Reading List Source URL: eprint.iitd.ac.in Language: English - Date: 2006-07-03 16:30:41 Science Artificial intelligence Logic in computer science Control engineering Fuzzy control system Segmentation Many-valued logic Inference Function Logic Fuzzy logic Mathematical logic
913	Professional learning portfolios for argumentation in school science Abstract This paper reports on the use of portfolios in a continuing professional development programme to advance teachers’ skills in their pedagog Add to Reading List Source URL: eprints.ioe.ac.uk Language: English - Date: 2012-06-26 18:23:56 Educational psychology Critical thinking Arguments Debating Argumentation theory Teacher education Reflective practice Araucaria Informal logic Education Knowledge Logic
914	Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider Department of Computer Science Cornell University {clarkson,andru,fbs}@cs.cornell.edu Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-01-31 11:41:18 Symbol Model theory Independence Structure Measure Logic Probability theory Statistical dependence Mathematics
915	Abstract Development of a pmctzcal framework for commonsense reasoning about temporal relations in databases is the m a n task of this research effort Logc programming is the chosen computational paradigm and commerciall Add to Reading List Source URL: etd.ncsi.iisc.ernet.in Language: English - Date: 2012-05-03 01:00:53 Database management systems Prolog Constraint programming Programming paradigms Logic programming Temporal database Deductive database Visual Prolog Software engineering Computing Computer programming
916	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
917	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
918	Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract) Eli Gafni ([removed]) Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:45 Concurrency Inter-process communication Consensus Distributed computing Actor model Message passing Logic programming Asynchrony Virtual synchrony Computing Concurrent computing Fault-tolerant computer systems
919	Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Logic in computer science Differential geometry Programming language semantics Algebraic geometry Field theory Valuation
920	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics

UPDATE